Gå till sökfältet
Gå till sidans huvudinnehåll
Gå till tillgänglighetsredogörelsen
Forskning.fi
Menu
Suomeksi
På svenska
In English
Ingångssida
Sökning
Vetenskaps- och innovationspolitik
Vetenskaps- och forskningsnyheter
På svenska
- 13419 results
Publikationer
13419
Utlysningar
0
Beviljade finansiering
25
Personer
2
Data
0
Infrastrukturer
1
Organisationer
0
Projekt
1
Publikationer -
13 419
sökresultat
Gå till sökresultaten
Visa som bild
Begränsa sökning
Resultaten visas 1 - 10 / 13419
10
50
100
resultat / per sida
Vilka
publikations
uppgifter finns i tjänsten?
Icon
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon
Model checking PSL
safety
properties
Launiainen, Tuomas
-
2009
Publicationer information ikon
Efficient Model Checking of
Safety
Properties
Referentgranskad
Latvala, Timo
SPRINGER
2003
Publicationer information ikon
On Model Checking
Safety
Properties
Latvala, Timo
-
2002
Publicationer information ikon
Efficient Model Checking of PSL
Safety
Properties
Referentgranskad
DOI
10.1049/iet-cdt.2010.0154
Launiainen, Tuomas; Heljanko, Keijo; Junttila, Tommi
IET Computers and Digital Techniques
2011
Publicationer information ikon
Probiotic bacteria:
Safety
, functional and technological
properties
Referentgranskad
DOI
10.1016/S0168-1656(00)00375-8
Saarela, Maria; Mogensen, Gunnar; Fondén, Rangne; Mättö, Jaana; Mattila-Sandholm, Tiina
Journal of Biotechnology
2000
Publicationer information ikon
Investigation of friction
properties
of various road surfaces affecting road
safety
Pellinen, Terhi; Currie, Magnus; Valtonen, Jarkko
-
2009
Publicationer information ikon
Safety
Culture and Maritime Personnel´s
Safety
Attitudes
Lappalainen, Jouni; Salmi, Kim
-
2009
Publicationer information ikon
The value of
safety
and
safety
as a value
Öppen tillgång
Henriikka Ratilainen (Ed.); Simo Salminen; Gerard Zwetsloot; Pia Perttula; Annick Starren; Wouter ...
SAF€RA technical report
2016
Publicationer information ikon
Safety
Performance Indicators for Maritime
Safety
Management
Jalonen, Risto; Salmi, Kim
-
2009
Publicationer information ikon
Multi-parameterised compositional verification of
safety
properties
Referentgranskad
DOI
10.1016/j.ic.2015.08.002
Siirtola, Antti; Kortelainen, Juha
Information and computation
2015
Model checking PSL
safety
properties
2009
Efficient Model Checking of
Safety
Properties
Referentgranskad
2003
On Model Checking
Safety
Properties
2002
Efficient Model Checking of PSL
Safety
Properties
Referentgranskad
DOI
10.1049/iet-cdt.2010.0154
2011
Probiotic bacteria:
Safety
, functional and technological
properties
Referentgranskad
DOI
10.1016/S0168-1656(00)00375-8
2000
Investigation of friction
properties
of various road surfaces affecting road
safety
2009
Safety
Culture and Maritime Personnel´s
Safety
Attitudes
2009
The value of
safety
and
safety
as a value
Öppen tillgång
2016
Safety
Performance Indicators for Maritime
Safety
Management
2009
Multi-parameterised compositional verification of
safety
properties
Referentgranskad
DOI
10.1016/j.ic.2015.08.002
2015
Föregående
1
2
3
4
5
Nästa
Resultaten visas 1 - 10 / 13419
Sida 1
Sort
